1

Modeling UML sequence diagrams using extended Petri nets

Year:
2012
Language:
english
File:
PDF, 1.32 MB
english, 2012
12

Hysteretic Property of Rare Earth Giant Magnetostrictive Actuator

Year:
2007
Language:
english
File:
PDF, 248 KB
english, 2007
13

Deciding quasi-reducibility using witnessed test sets

Year:
1999
Language:
english
File:
PDF, 407 KB
english, 1999
14

Completeness of the accumulation calculus

Year:
1998
Language:
english
File:
PDF, 388 KB
english, 1998
16

Hybridity in embedded computing systems

Year:
1996
Language:
english
File:
PDF, 391 KB
english, 1996
46

Modeling Activity Diagrams with Extended Petri Nets

Year:
2011
Language:
english
File:
PDF, 455 KB
english, 2011